481. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
482. Representations for Genetic and Evolutionary Algorithms
پدیدآورنده : by Franz Rothlauf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Engineering mathematics.
483. Research and development in intelligent systems XVIII :
پدیدآورنده : Max Bramer, Frans Coenen, and Alun Preece (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2002
484. Research in computational molecular biology :
پدیدآورنده : edited by Benjamin J. Raphael.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Data mining.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Maths for computer scientists.
رده :
QH324
.
2
.
R43
2018
485. Robotics, AI and the future of law /
پدیدآورنده : Marcelo Corrales, Mark Fenwick, Nikolaus Forgó, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Law and legislation.,Practice of law-- Automation.,Practice of law-- Technological innovations.,Robotics-- Law and legislation.,Artificial intelligence-- Law and legislation.,LAW-- Computer & Internet.,Practice of law-- Automation.,Practice of law-- Technological innovations.,Robotics-- Law and legislation.
رده :
K564
.
C6
R63
2018
486. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
487. Rough Sets and Current Trends in Computing.
پدیدآورنده : Wojciech Ziarko
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ebooks -- UML.
488. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده : [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
489. Scalable Pattern Recognition Algorithms
پدیدآورنده : / Pradipta Maji, Sushmita Paul
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK
490. Search Methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economics.,Electronic data processing.,Operations research.,Economics.,Electronic data processing.,Operations research.
رده :
HD30
.
23
491. Search methodologies :
پدیدآورنده : Edmund K. Burke, Graham Kendall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economia.,Informàtica.,Investigació operativa.
492. Search methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision support systems.,Mathematical optimization.,Search theory.,Décision, Théorie de la.,Optimisation mathématique.,Systèmes d'aide à la décision.,Decision support systems.,Mathematical optimization.,Otimização matemática.,Search theory.,Sistemas de apoio à decisão.
رده :
T58
.
62
493. Security, Privacy, and Anonymity in Computation, Communication, and Storage :
پدیدآورنده : edited by Guojun Wang, Jun Feng, Md Zakirul Alam Bhuiyan, Rongxing Lu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.,Information systems.,Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.
رده :
QA76
.
9
.
A25
494. Security with intelligent computing and big-data services /
پدیدآورنده : Sheng-Lung Peng, Shiuh-Jeng Wang, Valentina Emilia Balas, Ming Zhao, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Big data, Congresses.,Computer security, Congresses.,Artificial intelligence.,Artificial intelligence.,Big data.,Computer security.,Computer security.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
QA76
.
9
.
A25
495. Seismic and Well Log Based Machine Learning Facies Classification in the Panoma-Hugoton Field, Kansas and Raudhatain Field, North Kuwait
پدیدآورنده : Dwihusna, Nadima
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Geophysics
496. Seismic and Well Log Based Machine Learning Facies Classification in the Panoma-Hugoton Field, Kansas and Raudhatain Field, North Kuwait
پدیدآورنده : Dwihusna, Nadima
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Geophysics
497. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
498. Sensor-Based Robots:
پدیدآورنده : edited by C.S. George Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.
رده :
TJ211
.
35
E358
1991
499. Sequence learning
پدیدآورنده : / Ron Sun, C. Lee Giles (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine learning.,Sequential machine theory.
رده :
Q
,
325
.
5
,.
S47
,
2001
500. Sequence learning : paradigms, algorithms, and applications
پدیدآورنده : Ron Sun, C. Lee Giles )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
1828
